the other side of shield meaning in Chinese

盾的反面, 问题的另一面
问题的另一面

Now , we summarize classifications of the real - time extension of z . a species of methods has based on integration of the formal specification z and other formal specification can provide adequate constructs to model for dynamic behaviour , the other side of shield , the another method has only based on semanteme of z and translate the specifications of other farmal method into z specification to describe timing constraints and concurrents . then we can extract a general method about to extent z in real - time domain
在本文，我们归纳了z实时扩展，提出了分类标准，一类是被称为集成的扩展方法，它基于形式化说明语言z和其它形式化方法的集成，在这里由其它形式化方法提供表示动态行为的结构；另一类称之为非集成的扩展方法则只使用z的语义，而由其它形式化方法对时间约束性和并发进行的描述则被转换成z规格说明，完成了上述分析之后实际就给出了一个对z进行实时扩展的通用方法。